Definitions | x:A. B(x), t T, , event-info(ds;da), Prop, ecl-halt(ds;da;x), P & Q, x:A. B(x), A, let x,y,z = a in t(x;y;z), A & B, P Q, P  Q, A B,  x,y. t(x;y),  x. t(x), SQType(T), {T},  x,y,z,w. t(x;y;z;w), False,  x,y,z. t(x;y;z), Valtype(da;k), x(s1,s2), x(s1,s2,s3,s4), x(s1,s2,s3), x(s) |